Девянин П. Н. «Правила преобразования состояний базовой ролевой ДП-модели управления доступом и информационными потоками в операционных системах» // Прикладная дискретная математика 2011. №1(11) C.78-95
Гречнев С. Ю. , Стефанцов Д. А. «Модификация ЛЯПАСа для разработки ОС» // Прикладная дискретная математика. Приложение 2015. №8 C.129-131
Вы можете добавить статью